Interval Term Rewriting System: Toward A Formal Model for Interval Computation
نویسندگان
چکیده
We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval computation. We start presenting a term rewriting system whose rules (directed equations) perform binary floating-point arithmetic, which is based on IEEE-754 Standard. Next, this primitive system is extended with rules for interval arithmetic. Finally, correctness and termination of our system are both discussed.
منابع مشابه
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting framework, called TermWare, is proposed and its application to software system analysis are described to provide better cost effectiveness of software maintenance under varied requirements and specifications of operation...
متن کاملTenacity and some other Parameters of Interval Graphs can be computed in polynomial time
In general, computation of graph vulnerability parameters is NP-complete. In past, some algorithms were introduced to prove that computation of toughness, scattering number, integrity and weighted integrity parameters of interval graphs are polynomial. In this paper, two different vulnerability parameters of graphs, tenacity and rupture degree are defined. In general, computing the tenacity o...
متن کاملINTERVAL ARTIFICIAL NEURAL NETWORK BASED RESPONSE OF UNCERTAIN SYSTEM SUBJECT TO EARTHQUAKE MOTIONS
Earthquakes are one of the most destructive natural phenomena which consist of rapid vibrations of rock near the earth’s surface. Because of their unpredictable occurrence and enormous capacity of destruction, they have brought fear to mankind since ancient times. Usually the earthquake acceleration is noted from the equipment in crisp or exact form. But in actual practice those data may not be...
متن کاملOverview and Comparison of Short-term Interval Models for Financial Time Series Forecasting
In recent years, various time series models have been proposed for financial markets forecasting. In each case, the accuracy of time series forecasting models are fundamental to make decision and hence the research for improving the effectiveness of forecasting models have been curried on. Many researchers have compared different time series models together in order to determine more efficien...
متن کاملA Canonical Calculus of Residuals
We introduce a formal language to describe origin functions, which permit to study the notions of descendance and residuals in reduction systems. Computation on this formal language are deened using a term rewriting system, which we show to be canonical. This work has application in semantics and debugging.
متن کامل